universally valid formula

См. также в других словарях:

• Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …   Wikipedia

• Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… …   Wikipedia

• ethics — /eth iks/, n.pl. 1. (used with a sing. or pl. v.) a system of moral principles: the ethics of a culture. 2. the rules of conduct recognized in respect to a particular class of human actions or a particular group, culture, etc.: medical ethics;… …   Universalium

• Weierstrass transform — In mathematics, the Weierstrass transform [Ahmed I. Zayed, Handbook of Function and Generalized Function Transformations , Chapter 18. CRC Press, 1996.] of a function f : R rarr; R is the function F defined by:F(x)=frac{1}{sqrt{4piint {… …   Wikipedia

• Kant: Critique of Judgement — Patrick Gardiner Kant’s third Critique, the Critique of Judgement, was published in 1790 and was intended as he himself put it to bring his “entire critical undertaking to a close.” So conceived, it was certainly in part designed to build upon… …   History of philosophy

• Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… …   Wikipedia

• Electron mobility — This article is about the mobility for electrons and holes in metals and semiconductors. For the general concept, see Electrical mobility. In solid state physics, the electron mobility characterizes how quickly an electron can move through a… …   Wikipedia

• Continental philosophy — Collective term for the many distinct philospohical traditions, methods, and styles that predominated on the European continent (particularly in France and Germany) from the time of Immanuel Kant. It is usually understood in contrast with… …   Universalium

• Dialectic — The School of Athens, by Raphael. Dialectic (also dialectics and the dialectical method) is a method of argument for resolving disagreement that has been central to Indic and European philosophy since antiquity. The word dialectic originated in… …   Wikipedia

• Theology of Pope Benedict XVI — The Theology of Pope Benedict XVI, due to the short pontificate so far, consists mainly of two encyclical letters on love (2005) and hope (2007), apostolic documents and various speeches and interviews. As Pope, Benedict XVI has wider… …   Wikipedia

• Overpopulation Theories —     Theories of Population     † Catholic Encyclopedia ► Theories of Population     Down to the end of the eighteenth century, very little attention was given to the relation between increase of population and increase of subsistence. Plato (De… …   Catholic encyclopedia